Exponentiable Functors Between Quantaloid-Enriched Categories
نویسندگان
چکیده
منابع مشابه
Exponentiable Functors Between Quantaloid-Enriched Categories
Exponentiable functors between quantaloid-enriched categories are characterized in elementary terms. The proof goes as follows: the elementary conditions on a given functor translate into existence statements for certain adjoints that obey some lax commutativity; this, in turn, is precisely what is needed to prove the existence of partial products with that functor; so that the functor’s expone...
متن کاملCategorical Structures Enriched in a Quantaloid: Categories, Distributors and Functors
We thoroughly treat several familiar and less familiar definitions and results concerning categories, functors and distributors enriched in a base quantaloidQ. In analogy with V-category theory we discuss such things as adjoint functors, (pointwise) left Kan extensions, weighted (co)limits, presheaves and free (co)completion, Cauchy completion and Morita equivalence. With an appendix on the uni...
متن کاملAn introduction to quantaloid-enriched categories
This survey paper, specifically targeted at a readership of fuzzy logicians and fuzzy set theorists, aims to provide a gentle introduction to the basic notions of quantaloidenriched category theory. We discuss at length the definitions of quantaloid, quantaloidenriched category, distributor and functor, always giving several examples that – hopefully – appeal to the intended readership. To indi...
متن کاملFixed points of adjoint functors enriched in a quantaloid
Representation theorems are established for fixed points of adjoint functors between categories enriched in a small quantaloid. In a very general setting these results set up a common framework for representation theorems of concept lattices in formal concept analysis (FCA) and rough set theory (RST), which not only extend the realm of formal contexts to multi-typed and multi-valued ones, but a...
متن کاملLimits and Colimits of Quantaloid-enriched Categories and Their Distributors
It is shown that, for a small quantaloid Q, the category of small Q-categories and Q-functors is total and cototal, and so is the category of Q-distributors and Q-Chu transforms.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Applied Categorical Structures
سال: 2007
ISSN: 0927-2852,1572-9095
DOI: 10.1007/s10485-007-9104-5